University of Manchester - PDFSEARCH.IO - Document Search Engine

University of Manchester
Results: 1471

#	Item
321	MATH33001 Two hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2012-08-02 08:27:45
322	MATH43001Two and a half hours UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2011-11-18 09:20:30
323	Postscript to ‘Symmetry’s End?’ J. B. Paris and A. Vencovsk´a∗ School of Mathematics University of Manchester Manchester M13 9PL, UK Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-08-20 04:40:49
324	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Concurrency control Transaction processing Parallel computing Computer architecture Concurrent programming languages Software transactional memory Linearizability Thread Concurrent data structure Lock Dataflow Transactional memory
325	The Reasoning and Optimization Theme Joshua Knowles, Konstantin Korovin and Renate Schmidt School of Computer Science The University of Manchester September 18, 2014 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2014-09-18 07:14:54
326	Presentation of Algorithms and Mathematics Jonathan Shapiro School of Computer Science University of Manchester March 24, 2014 Add to Reading List Source URL: studentnet.cs.manchester.ac.uk Language: English - Date: 2014-03-24 06:41:45
327	LNCSEnhancing Search: Events and Their Discourse Context Add to Reading List Source URL: www.nactem.ac.uk Language: English - Date: 2015-07-16 05:36:33 Linguistics Information science Computational linguistics Academia Natural language processing Reference Knowledge representation National Centre for Text Mining School of Computer Science University of Manchester Annotation Text mining Ontology
328	Automated reasoning for first-order logic Theory, Practice and Challenges Konstantin Korovin1 The University of Manchester UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-23 06:31:10
329	An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-05-14 11:51:57
330	Forgetting Concept and Role Symbols in ALCH-Ontologies Patrick Koopmann and Renate A. Schmidt The University of Manchester, UK {koopmanp, schmidt}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-11-11 09:43:32

UPDATE